home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / glossary.mail / 000022_info-tsql-sender_Fri Apr 23 06:10:34 1993.msg < prev    next >
Internet Message Format  |  1993-06-11  |  3KB
  1. Date:  Fri, 23 APR 93 14:43 N
  2. From: MONTANARI@UDUNIV.CINECA.IT
  3. Reply-To: MONTANARI@UDUNIV.CINECA.IT
  4. Comments: GMAIL V1.3, DECnet, 21 Mar 1989
  5. Subject: comments about the glossary
  6. To: TSQL@cs.arizona.edu
  7. X-Original-To:  tsql@cs.arizona.edu, MONTANARI
  8. Status: RO
  9. Content-Length: 2698
  10. X-Lines: 67
  11.  
  12. \documentstyle[11pt]{article}
  13. \newcommand{\entry}[1]{\subsubsection*{#1}}
  14. \begin{document}
  15.  
  16. \subsection{About ``Temporally-indeterminate event''}
  17.  
  18. We agree with Immanuel Kant who recommended to avoid the definition of new terms
  19. unless it is strictly necessary, that is, to carefully verify if existing terms
  20. can be used to denote the concepts we have in mind before introducing new terms.
  21. In our opinion, this is the case of the concept expressed by the term
  22. ``temporally-indeterminate event''. Even more, we believe that it is possible to
  23. provide a finer characterizations of the involved concept(s) by means of
  24. standard temporal logic machinary (cf., for instance, N. Rescher and A.
  25. Urquhart, Temporal Logic, Springer Verlag, 1971).
  26.  
  27. Temporal logics allow us to distinguish between chronologically definite and
  28. chronologically indefinite statements.
  29.  
  30. {\em Chronologically definite statements} are statements whose truth-value does
  31. not vary, because it does not depend on their assertion (utterance) time. An
  32. example of a chronologically definite statement is: ``Jack was killed on
  33. xx/xx/1990''.  As a general rule, chronologically definite statements include
  34. explicit temporal qualifications, referring to a given temporal domain
  35. conventionally chosen as the common reference system, that allow one to
  36. univocally determine the relevant temporal position(s), e.g. dates.
  37.  
  38. On the contrary, {\em chronologically indefinite statements} are statements
  39. whose truth-value may vary, because it depends on their assertion (utterance)
  40. time. An example of a chronologically indefinite statement is: ``Michelle was
  41. born yesterday''.  As a general rule, chronologically indefinite statements are
  42. temporally qualified with respect to the current time instant (in the example,
  43. ``today'') which is left implicit.
  44.  
  45. It is worth noting that according to a model-theoretic perspective assertion
  46. (utterance) times can be interpreted as the times at which statements
  47. (better, their logical counterparts, i.e. formulae) are evaluated. Furthermore,
  48. notice that chronological definiteness/indefiniteness are qualifications of the
  49. statements, rather than of the events they denote.
  50.  
  51. Our proposal is to replace the entry ``temporally-indeterminate event'' with
  52. ``chronologically indefinite statement'' and to add the entry ``chronologically
  53. definite statement''.
  54.  
  55. \noindent
  56. (to be continued)
  57.  
  58. \vskip0.5cm
  59. \noindent
  60. Comments are obviously welcome
  61.  
  62. \vskip0.5cm
  63. \noindent
  64. Angelo Montanari, Barbara Pernici
  65.  
  66. \begin{verbatim}
  67. Dipartimento di Matematica e Informatica
  68. Via Zanon, 6
  69. 33100 Udine (Italy)
  70. ph. +39 432 272 218/206
  71. fax +39 432 510755
  72. montanari@uduniv.cineca.it
  73. pernici@uduniv.cineca.it
  74. \end{verbatim}
  75.  
  76. \end{document}
  77.  
  78.